contravariant functor

逆变函子